Use GDK_XTERM only if the label is really selectable.
https://bugzilla.gnome.org/show_bug.cgi?id=732970
GDK_POINTER_MOTION_MASK |
GDK_POINTER_MOTION_HINT_MASK;
attributes_mask = GDK_WA_X | GDK_WA_Y | GDK_WA_NOREDIR;
- if (gtk_widget_is_sensitive (widget))
+ if (gtk_widget_is_sensitive (widget) && priv->select_info && priv->select_info->selectable)
{
attributes.cursor = gdk_cursor_new_for_display (gtk_widget_get_display (widget),
GDK_XTERM);